French translation for "algebraic data type"

type algébrique de données

Example Sentences:

	1.	Generalized algebraic data types. Ou les types algébriques de données généralisés.
	2.	They provide basic support for algebraic data types, allowing the inclusion of product types, in a fashion similar to Haskell and ML. Ils fournissent un support de base pour les types algébrique de données, permettant d'inclure des types produit, similairement à Haskell et ML.
	3.	Together with Alessandro Berarducci, he demonstrated an isomorphism between the strictly-positive algebraic data types and the polymorphic lambda-terms, otherwise known as Böhm–Berarducci encoding. Avec Alessandro Berarducci, Böhm établit un isomorphisme entre les types de données algébriques strictement positives et les lambda-termes polymorphes, connu depuis comme le codage de Böhm-Berarducci.
	4.	The type kinds it offers are classes, interfaces, function-method types, anonymous types, algebraic data types (ADTs, called enum in Haxe), and abstract types. Les types disponibles sont les classes, les interfaces, les fonctions ainsi que des types anonymes, des types algébrique de données (enum) et des types abstraits (abstract).
	5.	In functional programming, catamorphisms provide generalizations of folds of lists to arbitrary algebraic data types, which can be described as initial algebras. En programmation fonctionnelle, un catamorphisme est une généralisation de la fonction fold sur les listes au cadre de types algébriques de données quelconques pouvant être décrit comme des algèbres initiales.
	6.	A switch expression can apply pattern matching to an enum value, allowing for elegant solutions to complex programming problems: enum Color { red; green; blue; rgb( r : Int, g : Int, b : Int ); } class Colors { static function toInt ( c : Color ) : Int { return switch ( c ) { case red: 0xFF0000; case green: 0x00FF00; case blue: 0x0000FF; case rgb(r, g, b): (r { Some(v:T); None; } enum Either { Left(v:L); Right(v:R); } Haxe also supports generalized algebraic data types (GADTs). Un switch peut appliquer un filtrage par motif aux valeurs énumérées, permettant des solutions élégantes à des problèmes complexes. enum Couleur { Rouge; Vert; Bleu; RGB( r : Int, g : Int, b : Int ); } class Couleurs { static function versInt ( c : Couleur ) : Int { return switch ( c ) { case Rouge: 0xFF0000; case Vert: 0x00FF00; case Bleu: 0x0000FF; case RGB(r, g, b): (r { Some(v:T); None; } enum Either { Left(v:L); Right(v:R); } Haxe supporte aussi les types algébrique généralisé.

Similar Words：

"algebraic analysis" French translation, "algebraic closure" French translation, "algebraic combinatorics" French translation, "algebraic curve" French translation, "algebraic cycle" French translation, "algebraic dual space" French translation, "algebraic element" French translation, "algebraic equation" French translation, "algebraic expression" French translation